ИРО́НИЯ, -и, ж. 1. Тонкая, скрытая насмешка.
Все значения слова «ирония»ИСТО́РИЯ, -и, ж. 1. Действительность в процессе развития. Законы истории. Диалектика истории.
Все значения слова «история»Такая вот печальная ирония истории просматривается.
Ирония истории заключается в том, что его эпохальная речь не сохранилась, и мы вынуждены реконструировать её текст по нескольким более поздним вариантам, некоторые из которых были написаны уже во время крестового похода.
И опять ирония истории сделала так, что нашлись карикатурные большевики – в лице «впередовцев».